Clock Di erence Diagrams

نویسندگان

  • Kim G. Larsen
  • Carsten Weise
  • Wang Yi
  • Justin Pearson
چکیده

We sketch a BDD-like structure for representing unions of simple convex polyhedra, describing the legal values of a set of clocks given bounds on the values of clocks and clock di erences.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Clock Di erence

In this paper, we present Clock Diierence Diagrams, a new BDD-like data-structure for eeective representation and manipulation of certain non-convex subsets of the Euclidean space, notably those encountered in veriication of timed automata. It is shown that all set-theoretic operations including inclusion checking may be carried out eeciently on Clock Diierence Diagrams. Other central operation...

متن کامل

Relaxed Clock Di erence Diagrams for Timed Automata Model Checking

Clock Di erence Diagrams (CDDs), a BDD-like data structure for model checking of timed automata, were presented in 1999. After the original article the work on them seems to have stopped, although there are still important open questions. The proposed algorithm relied on the traditionally used data structure (DBMs) for most operations. CDDs de nition required that repeated subtrees were aliased...

متن کامل

Orr Sommerfeld Solver Using Mapped Finite Di?erence Scheme for Plane Wake Flow

Linear stability analysis of the three dimensional plane wake flow is performed using a mapped finite di?erence scheme in a domain which is doubly infinite in the cross–stream direction of wake flow. The physical domain in cross–stream direction is mapped to the computational domain using a cotangent mapping of the form y = ?cot(??). The Squire transformation [2], proposed by Squire, is also us...

متن کامل

Closed-form expressions for the nite di erence approximations of rst and higher derivatives based on Taylor series

Numerical di erentiation formulas based on interpolating polynomials, operators and lozenge diagrams can be simpli ed to one of the nite di erence approximations based on Taylor series. In this paper, we have presented closed-form expressions of these approximations of arbitrary order for rst and higher derivatives. A comparison of the three types of approximations is given with an ideal digita...

متن کامل

On divided-di¤erence semigroups

The Newtonian divided-di¤erence operators generate the nil-Coxeter algebra and semigroup. A bijective correspondence between the nil-Coxeter semigroup and the symmetric group is used to provide braid-like diagrams for the former, and corresponding Reidemeister-type moves for the relations. Conditions are given for similar relations to hold in a skew group ring. Interesting extensions of the nil...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998